Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
91	PROGRAMME Wednesday, July – – – – 11.25 Add to Reading List Source URL: dl.kr.org Language: English - Date: 2011-07-14 06:51:00 Information Non-classical logic Artificial intelligence Description logic Information science Ontology Web Ontology Language Ian Horrocks Semantic reasoner Science Semantic Web Knowledge
92	Fuzzy Logic: BriefTowards GeneralNeed for ProductHow to Tell When a Product of Two Partially Ordered Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2011-02-18 23:00:53 Non-classical logic A1 A2 Logic Mathematics Artificial intelligence Logic in computer science Fuzzy logic
93	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory
94	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
95	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
96	Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or Add to Reading List Source URL: consequently.org Language: English Paraconsistent logic Intuitionism Intuitionistic logic Classical logic Many-valued logic Fuzzy logic Proof theory Modal logic Truth value Logic Mathematical logic Non-classical logic
97	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
98	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:53 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
99	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
100	This discussion paper is/has been under review for the journal Solid Earth (SE). Please refer to the corresponding final paper in SE if available. Discussion Paper Solid Earth Discuss., 7, 1347–1374, 2015 Add to Reading List Source URL: www.solid-earth-discuss.net Language: English - Date: 2015-06-08 08:10:24 Artificial intelligence Logic in computer science Non-classical logic Fuzzy measure theory Fuzzy set Logic Mathematical logic Fuzzy logic

UPDATE